f739ccbea3ceca6b23fb1311c6468d14071590c8,kernel/src/main/java/org/kframework/utils/inject/DefinitionLoadingModule.java,DefinitionLoadingModule,koreDefinition,#BinaryLoader#FileUtil#,49

Before Change


    }

    public static CompiledDefinition koreDefinition(BinaryLoader loader, FileUtil files) {
        return loader.loadOrDie(CompiledDefinition.class, files.resolveKompiled("compiled.bin"));
    }

    public static KompileOptions kompileOptions(Context context, CompiledDefinition compiledDef, FileUtil files) {

After Change


        return loader.loadOrDie(Definition.class, files.resolveKompiled("definition.bin"));
    }

    public static CompiledDefinition koreDefinition(BinaryLoader loader, FileUtil files) {
        KompileOptions kompileOptions = loader.loadOrDie(KompileOptions.class, files.resolveKompiled("kompileOptions.bin"));
        org.kframework.definition.Definition parsedDefinition = loader.loadOrDie(org.kframework.definition.Definition.class, files.resolveKompiled("parsedDefinition.bin"));
        org.kframework.definition.Definition kompiledDefinition = loader.loadOrDie(org.kframework.definition.Definition.class, files.resolveKompiled("kompiledDefinition.bin"));
        org.kframework.kore.KLabel topCellInitializer = loader.loadOrDie(org.kframework.kore.KLabel .class, files.resolveKompiled("topCellInitializer.bin"));